-- Right chain, : case, 2 operators with p(:) == p(b)
h :: Int
h =
  1
    : 2
    : 3
    : 4
    ++ 5
    : 6
    : 7
    : 8
